This Chrome extension will change Gulf of America back to Gulf of Mexico

A third-party Chrome extension that restores 'Gulf of Mexico' to Google Maps is pushing back against Trump in a small, but powerful, way.